Яворская Т.л. - Математическая Логика - 2. Дизъюнктивная Нормальная Форма